Strategies in Programming Languages Today

Strategies for Logic Programming Languages

Logic programs consist of formulas of mathematical logic and various proof-theoretic techniques can be used to design and analyse execution models for such programs. We brieey review the main problems, which are questions that are still elusive in the design of logic programming languages, from a proof-theoretic point of view. Existing strategies which lead to the various languages are all rath...

Metacognitive (Rending) Strategies Across Languages and Techniques

Principals in Programming Languages

Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the modules of a large program, a host and its clients, or a collection of interactive agents. In this paper, we formalize this notion of principal in the programming language itself. The result is a language in which intuitive s...

Concepts in programming languages

When I learnt to program, there were only two languages that were worth learning, Algol 60 and assembler. ‘Programming languages’ was once an easy course to teach, but as more languages were introduced it became harder and harder, and most books for undergraduates turned from textbooks into encyclopedias, trying to cover all known languages. Somewhere along the line the idea that it was worth t...

Inheritance in Programming Languages

Inheritance is a powerful concept employed in computer science, especially in artificial intelligence (AI), object-oriented programming (OOP), and object-oriented databases (OODB). In the field of AI, inheritance has been primarily used as a concise and effective means of representing and reasoning with common-sense knowledge (Thirunarayan, 1995). In programming languages and databases, inherit...